The symmetric monoidal closed category of cpo $M$-sets
author
Abstract:
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
similar resources
The category of monoid actions in Cpo
In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...
full textGraphical Presentations of Symmetric Monoidal Closed Theories
We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
full textBinding bigraphs as symmetric monoidal closed theories
We reconstruct Milner’s [1] category of abstract binding bigraphs Bbg(K) over a signature K as the free (or initial) symmetric monoidal closed (smc) category S(TK) generated by a derived theory TK. The morphisms of S(TK) are essentially proof nets from the Intuitionistic Multiplicative fragment (imll) of Linear Logic [2]. Formally, we construct a faithful, essentially injective on objects funct...
full textMonads on Symmetric Monoidal Closed Categories By
Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...
full textIsomorphic Objects in Symmetric Monoidal Closed Categories
Isomorphic objects in symmetric monoidal closed categories† K O S T A D O Š E N ‡ and Z O R A N P E T R I Ć § ‡ University of Toulouse III, Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse cedex, France and Mathematical Institute, Knez Mihailova 35, P.O. Box 367, 11001 Belgrade, Yugoslavia § University of Belgrade, Faculty of Mining and Geology, Djušina 7...
full textClosed Symmetric Monoidal Structure and Flow
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
full textMy Resources
Journal title
volume 13 issue 1
pages 105- 124
publication date 2020-07-01
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023